perm filename HJS.FRM[P,JRA]5 blob sn#211847 filedate 1976-04-20 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00001 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 ENDMK
C⊗;
∂23-JAN-76  0632	HJS   via NBST	Book 
John, 

Thanks for your book.  I have been away for a long time.  I just 
returned from the SIGPLAN-SIGACT conference in Atlanta.  It was 
basically a LISP conference.  When you get a hold of the proceedings 
you will see that most of the papers dealt with LISP.  I talked to  
several people there and there was almost a uniform consensus 
(see how carefully I choose the people to talk to!) that the time has 
come for a simple and clean LISP - very much like what I  propose.  
The book looks very good.  It looks like I will only be able to 
teach my course next spring but I will try to push for fall.  
As you may have heard I was in California for a few days and at 
stanford for one night (and part of two  days).  I regret not having 
looked you up but there were certain affairs I had to take care of which
precluded my doing so.  

How is the LISP business going.  At the moment I dont have too much time 
for the small machine stuff but after the end of the term would be fine.  I am teaching the Knuth course and the same elementary programming 
course.  I am also trying to get a couple of papers out - such is 
the life in academia!  Keep in touch.  We can talk over the machine 
in the mornings.  So long.  

                                    Hanan, 

∂02-FEB-76  0903	HJS   via NBST	letter    
Got your letter.  Sure I will write you a letter of recommendation.  
However, please tell me what you want me to say.  I have never done 
this before.  Uzgalis tells me that he asks people to write a 
letter for themselves.  Why Arizona and not Stanford where you are 
close?  Let me know about HP problems.  Back to letter.  What do you want 
me to stress?  
1. Teaching at San Jose State and UCLA.  This will have to be qualified 
by a statement that I had no first hand observation.  
2.  Quality of book.  
3.  One of pioneers of LISP and theorem proving.  
Anyway, you might want to write me a rough draft.  Let me know.  

Good Luck!  


                              Hanan, 

∂27-FEB-76  0723	HJS   via NBST	message   
John, 

I have been working on a paper most of the time.  I was using SUMEX 
due to the heavy crunch and slow response at the lab.  I think that 
the guy from Maryland at the conferencce was Austing (Atchison was 
also there).  I believe they were talking about my course.  It is 
slated for spring 1977.  The PDP-11 LISP here is working but address space 
is rather limited.  The guy is now implementing a compiler.  He is using some of 
my ideas on efficient code generation.  He is implementing WISCONSI LISP 
on the PDP-11.  I will send off a copy of the documentation to you.  
Just give me the address to which it should be sent.  I have not thought 
much about small machine recently although I would be interested to 
compare ideas.  For a start you could look at the file NOTES<SAMET> at 
SUMEX where I have jotted down some thoughts.  What about setting 
some time one day and can link up on the computer?  I sent off a 
glowing note about you to Arizona.  Keep in touch.  

                                Hanan, 

∂12-MAR-76  0943	HJS   via NBST	LISP 
John, 

I have finally transferred the file NOTES to NOTES[L,HJS] from 
SUMEX.  Happy reading.  It is really not much and don't think I am a clown 
after reading it.  What is up otherwise?  Good luck.  If you can see any 
way for me to come out to West Coast to consult on LISP for HP - 
wishful thinking!!! I am ready at a few moments notice.  

                               Hanan, 

∂18-MAR-76  1538	HJS   via NBST	message   
Joohn, 

Thanks fooo your message.  How about explaining to me 
what I said that was wroong in NOTES  .  Just type the cmment in 
the file - i.e. in brackets prefaced by JRA  .
For example:  [JRA:  This sucks . . . ] .  Should be easy.  
What does the official McGraw Hill reviewer get?  
I assume capters 6 and 7 and 8 are on implementation.  
I dknt want to have anything to do with denotational semantics! 
After you fill me n on the details I would 
probably be willing.  
I will try to get in early one of these days so we 
can talk.  I managed to teach LISP in my data structures 
course in five one hour and fifteen minutes lectures.  
Not too bad.  Just got new LISP book in 
mail by Sikolsky - it i called either "Talking LISP" or 
"Understanding LISP".  I foorgot exact title.  It is being 
put out by Prentice Hall.  Good luck!  

                           Hanan, 

∂06-APR-76  1043	HJS   via NBST	request   
John, 

Could you please do me a favor.  

I have a paper on the system called 

THSIS1.XGP 

could you please check to see if the figures are all 
on the same page.  Then send me a copy of it.  I will 
put it out as a technical report here.  

I have also sent by mail to you at Hewlett Packard 
Two Title pages.  Please generate them for me on the 
XGP using BASL30 or maybe better yet BASB30 for the 
title and affiliation.  I have surrounded the title 
box by a box in which it mut fit.  I enclose a 
Maryland cover page so you 
can see why the need forthe box.  Don't 
generate a box.  

Thanks.  I would appreciate it if done ASAP and mailed to me 
here.  

How are things at HP?  and other fronts?  
Let me know.  

                                     Hanan,